『ホモトピー型理論』上村太一 - pogi-log

『ホモトピー型理論』上村太一

上村太一. ホモトピー型理論. 2023. https://uemurax.github.io/hott-ja/index.html

Univalence Axiom (UA)

Higher Inductive Type (HIT)

高次グルーポイド

関連: ∞-グルーポイド

ホモトピーn型

確認用

Q.

#Homotopy_Type_Theoryの参考文献 #Homotopy_Type_Theory(HoTT)